$a$ declared in $M$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\uparrow$locl($a$) $\in$ dom(($M$.2).1)